首页> 外文OA文献 >System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

【2h】

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

机译：系统E：用于线性和非线性类型以及交叉点类型的灵活键入的扩展变量

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Sebastien Carlier; Jeff Polakow; J. B. Wells; A. J. Kfoury;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fundamental Study: Principality and type inference for intersection types using expansion variables [J] . A. J. Kfoury, J. B. Wells Theoretical computer science . 2004,第1a3期

机译：基础研究：使用扩展变量的相交类型的公有性和类型推断
2. On Readability Semantics for Intersection Types with Expansion Variables [J] . Fairouz Kamareddine, Karim Nour, Vincent Rahli, Fundamenta Informaticae . 2012,第1a4期

机译：具有扩展变量的交叉点类型的可读性语义
3. Linearization of the lambda-calculus and its relation with intersection type systems [J] . MARIO FLORIDO, LUIS DAMAS Journal of Functional Programming . 2004,第Pt5期

机译：Lambda演算的线性化及其与相交类型系统的关系
4. System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types [C] . Sebastien Carlier, Jeff Polakow, J.B. Wells, Programming Languages and Systems . 2004

机译：系统E：线性和非线性类型和交叉点类型的灵活键入的扩展变量
5. Sequential eigenfunction expansion for certain non-linear parabolic systems and wave type equations. [D] . AL Refai, Mohammed Abdalla. 2000

机译：某些非线性抛物线系统和波型方程的顺序本征函数展开。
6. Linear and Non-linear Correlations Between Serum Phosphate Level and Bone Mineral Density in Type 2 Diabetes [O] . Yinqiu Yang, Guangwang Liu, Yao Zhang, 2020

机译：2型糖尿病血清磷酸盐水平与骨密度之间的线性和非线性相关性
7. Type inference with expansion variables and intersection types in System E and an exact correspondence with β-reduction [O] . Sébastien Carlier, J. B. Wells 2004

机译：使用系统E中的扩展变量和交集类型进行推理，并与β减少完全对应

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

著录项

引文网络

相似文献

相关主题

期刊订阅